A relation-algebraic approach to simple games

Simple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool RelView after a simple translation into the tool's programming language. In order to demonstrate the visualization facilities of RelView, we consider an example of the Catalonian Parliament after the 2003 election.Relation algebra ; RelView ; simple game ; winning coalition ; swinger ; dominant player ; central player ; power index

A QOBDD-based Approach to Simple Games

Simple games are a commonly used model for the analysis of voting systems in which each participant can vote “yes” or “no” and where the outcome is “yes” or “no” as well. Quasi-reduced and ordered binary decision diagrams, or QOBDDs for short, are well-known as compact representations for subsets of powersets and Boolean functions. In this thesis, we use QOBDDs to represent simple games and to develop practically applicable algorithms to solve problems for simple games. We study properties of QOBDDs when they are used to represent simple games as well as the runtime behavior of our algorithms

A relation-algebraic approach to simple games

International audienceSimple games are a powerful tool to analyze decision - making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool RelView after a simple translation into the tool's programming language. In order to demonstrate the visualization facilities of RelView, we consider an example of the Catalonian Parliament after the 2003 election

A relation-algebraic approach to simple games

Simple games are a powerful tool to analyze decision-making and coalition formation in social and political life. In this paper, we present relation-algebraic models of simple games and develop relational specifications for solving some basic problems of them. In particular, we test certain fundamental properties of simple games and compute specific players and coalitions. We also apply relation algebra to determine power indices. This leads to relation-algebraic specifications, which can be evaluated with the help of the BDD-based tool Rel View after a simple translation into the tool's programming language. In order to demonstrate the visualization facilities of Rel View we consider an example of the Catalonian Parliament after the 2003 election.Relation algebra Rel View Simple game Winning coalition Dominant player Central player

The Pluriversity for Stuck Humxns: A Queer EcoPedagogy & Decolonial School

The Pluriversity for stuck humxns is an exploratory dialogue between early career researchers and established researchers. It responds to the concern that dominant forms of knowledge production are not assisting us to move towards life affirming ways of being and that alternatives are possible. The production of this chapter is one of many new acts towards realising other modes of being and becoming unstuck in scholar activist practice. The chapter begins with an invitation in the form of a poem by Lena Weber, and the resulting text is a response to the poem from multiple contributors from around the world, who imagine transgressive and progressive ‘departments’ of the Pluriversity. Situated amongst the impulses of queer ecopedagogy and drawing on imagination to understand and play with multiple (or diverse) knowledges, the authors explore what nurturing institutions for scholarly training and life may look like, and what might be possible and in fact are possible through our collaborative experience in the act of creating the Pluriversity for stuck humxns. Itself an intersectional being, this chapter is a queer inquiry dedicated to challenging and reframing norms and dogma and to shake up the boundaries of categories and narrowly and often dogmatically employed concepts. The authors break open pedagogy in ways that allowed them to question research practice and instead conceive of a ‘research worthy of their longing’

The genomic history of southeastern Europe

Farming was first introduced to Europe in the mid-seventh millennium bc, and was associated with migrants from Anatolia who settled in the southeast before spreading throughout Europe. Here, to understand the dynamics of this process, we analysed genome-wide ancient DNA data from 225 individuals who lived in southeastern Europe and surrounding regions between 12000 and 500 bc. We document a west-east cline of ancestry in indigenous hunter-gatherers and, in eastern Europe, the early stages in the formation of Bronze Age steppe ancestry. We show that the first farmers of northern and western Europe dispersed through southeastern Europe with limited hunter-gatherer admixture, but that some early groups in the southeast mixed extensively with hunter-gatherers without the sex-biased admixture that prevailed later in the north and west. We also show that southeastern Europe continued to be a nexus between east and west after the arrival of farmers, with intermittent genetic contact with steppe populations occurring up to 2,000 years earlier than the migrations from the steppe that ultimately replaced much of the population of northern Europe.Iain Mathieson … Wolfgang Haak … David Reic